Übersetzung von HyCharts in HDFG

نویسندگان

  • Christoph Grimm
  • Thomas Stauner
چکیده

Die Spezi kation analoger und analog digitaler Systeme durch informelle Mittel wie Blockdia gramme und umgangssprachliche Beschreibungen ist durchaus ublich Derartige Spezi kationen k onnen zu schwerwiegenden Entwurfsfehlern f uhren die erst sp at etwa beim Vorliegen des fertigen Produktes entdeckt werden Dar uberhinaus k onnen informelle Spezi kationen nur schwer als Ausgangsbasis eines automatisierten Entwurfsprozesses dienen Abhilfe k onnte die Spezi kation analog digitaler Systeme mit Beschreibungstechniken scha en die eine formale Syntax und Semantik haben Dadurch wird e ziente Werkzeugunterst utzung m oglich und Mi verst andnisse k onnen vermieden werden Insbesondere kann eine Abbildung der Spezi kation auf ausf uhrbare Modelle zum fr uhzeitigen Experimentieren mit dem System verwendet werden rapid prototyping

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hybrid Systems { From HyCharts to Hybrid Data - Flow Graphs { 1

In this paper, a translation of the visual description technique HyCharts to Hybrid Data-Flow Graphs (HDFG) is given. While HyCharts combine a data-ow and a control-ow oriented formalism for the speciication of the architecture and the behavior of hybrid systems, HDFG allow the eecient and homogeneous internal representation of hybrid systems in computers and their automatic manipulation. HDFG ...

متن کامل

Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs

In this paper a translation of the visual description technique HyCharts to Hybrid Data Flow Graphs HDFG is given While HyCharts combine a data ow and a control ow oriented formalism for the speci cation of the architecture and the behavior of hybrid systems HDFG allow the e cient and homogeneous internal representation of hybrid systems in computers and their automatic manipulation HDFG repres...

متن کامل

Evaluierung der linguistischen Leistungsfähigkeit von Translation Memory-Systemen - ein Erfahrungsbericht

Eines der wichtigsten Ergebnisse des Treffens des GLDV-Arbeitskreises ‘Maschinelle Übersetzung’ im Februar 1999 (vgl. den URL ) war m.E. die Feststellung, daß sich Kriterien zur Evaluierung von Systemen zur maschinellen Übersetzung kaum für die Untersuchung von Translation Memory-Systemen eignen. Diese Erkenntnis ist zwar durchaus nicht neu [Rei94], wurde aber m.W. von Vertretern der MÜ bisher ...

متن کامل

PigSPARQL: Übersetzung von SPARQL nach Pig Latin

Dieser Beitrag untersucht die effiziente Auswertung von SPARQLAnfragen auf großen RDF-Datensätzen. Zum Einsatz kommt hierfür das Apache Hadoop Framework, eine bekannte Open-Source Implementierung von Google's MapReduce, das massiv parallelisierte Berechnungen auf einem verteilten System ermöglicht. Zur Auswertung von SPARQL-Anfragen mit Hadoop wird in diesem Beitrag PigSPARQL, eine Übersetzung ...

متن کامل

Anaphernresolution in flach analysierten Texten für Recherche und Übersetzung

Anaphernresolution ist wichtig für Retrieval und Textklassifikation, weil sie erlaubt, bei der Auszählung der Häufigkeit der Benennung eines Objekts, oder eines Objekttyps, eines Begriffs, die Ergebnisse durch die Anzahl der entsprechenden anaphorischen Verwendungen zu korrigieren. Bei der Maschinellen Übersetzung ist in der Regel durch diesen Bezug erst die korrekte Übersetzung von Pronomen mö...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000